Buy Used and New Lijun Zhang Books

Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings: 9364 (Lecture Notes in Computer Science)

by Bernd Finkbeiner,Geguang Pu,Lijun Zhang

ISBN 13: 9783319249520

Format: Paperback (536 pages)
Publisher: Springer
Published: 30 Dec 2015

Save for later

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint ... 11428 (Lecture Notes in Computer Science)

by Tomáš Vojnar, Lijun Zhang

ISBN 13: 9783030174644

Format: Paperback (440 pages)
Publisher: Springer
Published: 04 Apr 2019

Save for later

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint ... 11427 (Lecture Notes in Computer Science)

by Tomáš Vojnar,Lijun Zhang

ISBN 13: 9783030174613

Format: Paperback (460 pages)
Publisher: Springer
Published: 06 Jun 2019

Save for later

In Pursuit of Presence or Prominence?: The Prospect of Chinese Banks' Global Expansion and Their Benchmarks (Current Chinese Economic Report Series)

by Shenglin Ben,Jiefang Yu,Yue Gu,Jiamin Lv,Lijun Zhang,Huichao Gong,Hanting Gu,Qi Shuai

ISBN 13: 9789811339899

Format: Paperback (196 pages)
Publisher: Springer
Published: 10 Apr 2019

Save for later

Discrete-Time and Discrete-Space Dynamical Systems (Communications and Control Engineering)

by Kuize Zhang,Lijun Zhang,Lihua Xie

ISBN 13: 9783030259747

Format: Paperback (236 pages)
Publisher: Springer
Published: 27 Aug 2020

Save for later